$\alpha$-naming and $\alpha$-speedup theorems.
نویسندگان
چکیده
منابع مشابه
Fixed point theorems for $alpha$-contractive mappings
In this paper we prove existence the common fixed point with different conditions for $alpha-psi$-contractive mappings. And generalize weakly Zamfirescu map in to modified weakly Zamfirescu map.
متن کاملfixed point theorems for $alpha$-contractive mappings
in this paper we prove existence the common fixed point with different conditions for $alpha-psi$-contractive mappings. and generalize weakly zamfirescu map in to modified weakly zamfirescu map.
متن کاملThe comparison of alpha power, peak alpha frequency, frontal alpha asymmetry between irritable bowel syndrome and healthy people
Irritable bowel syndrome (IBS) is a chronic functional gastrointestinal disorder that is characterized by abdominal pain or discomfort and changed intestinal habits. The aim of This study was the comparison of features of brain oscillations in alpha frequency band by using rest-electroencephalography (EEG) between patients with IBS and healthy control. 11 IBS patients (7 female and 4 male) and ...
متن کاملOne Pot Synthesis of Alpha-Aminonitrile and Alpha-Amino Acid From Schiff Bases
Addition of Potassium cyanide to a mixture of Schiff base and lithium perchlorate afforded a-aminonitriles in high yields. Addition of potassium cyanide to a methanolic solution of Schiff base and phosphoric acid afforded a-aminonitriles. When the reaction mixture was refluxed it gave a-amino acids in high yields.
متن کاملMeasurement of radium micro-precipitates using alpha spectrometry and total alpha counting methods
Background: This study consists of two parts. The first part deals with both qualitative and quantitative analysis of 226Ra using alpha spectrometry measurement method. In the second part, the percentage of radioactive equilibrium between 226 Ra and its daughter products were determined by alpha spectrometry and total alpha measurement system after elapsed time of 15 days from precipitation. Ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1979
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882529